ГОСТ Р 51904-2002: Программное обеспечение встроенных систем. Общие требования к разработке и документированию

Терминология ГОСТ Р 51904-2002: Программное обеспечение встроенных систем. Общие требования к разработке и документированию оригинал документа:

3.1 алгоритм: Конечное множество четко определенных правил, которые задают последовательность действий для выполнения конкретной задачи.

Определения термина из разных документов: алгоритм

3.2 анализ полноты покрытия: Определения степени, до которой работы процесса верификации ПО удовлетворяют поставленной цели.

Определения термина из разных документов: анализ полноты покрытия

3.3 аномальное поведение: Поведение, которое не соответствует заданным требованиям.

Определения термина из разных документов: аномальное поведение

3.4 аппаратные средства: Материальная часть вычислительной системы, включающая в себя электрические и электронные элементы (например, приборы и схемы), электромеханические элементы (например, дисководы) и механические элементы (например, стойки).

Определения термина из разных документов: аппаратные средства

3.5 архитектура: Организационная структура системы или ЭКПО, в которой идентифицированы компоненты, их интерфейсы и концепция взаимодействия между ними.

Определения термина из разных документов: архитектура

3.6 аттестация инструментальных средств: Процесс получения сертификационного доверия к программному инструментальному средству применительно к конкретной встроенной системе.

Определения термина из разных документов: аттестация инструментальных средств

3.7 база данных: Совокупность взаимосвязанных данных, сохраненных в одном или более компьютерных файлах в виде, позволяющем обращаться к ним пользователям или компьютерным программам с помощью системы управления базой данных.

Определения термина из разных документов: база данных

3.8 библиотека разработки ПО: Контролируемая совокупность документов, промежуточных и конечных программных продуктов, а также инструментальных средств и процедур, используемых для управления текущей разработкой и последующей поддержкой ПО.

Определения термина из разных документов: библиотека разработки ПО

3.9 верификация: Оценка результатов процесса с целью гарантии корректности и непротиворечивости в отношении входов и стандартов, существующих для данного процесса.

Определения термина из разных документов: верификация

3.10 заплата: Исправление, вносимое непосредственно в объектную программу, а не в текст, на языке программирования.

Определения термина из разных документов: заплата

3.11 изменение ПО : Модификация исходного кода, исполняемого объектного кода или сопутствующих документов относительно их базовой линии.

Определения термина из разных документов: изменение ПО

3.12 имитатор: Устройство, компьютерная программа или система, используемая при верификации ПО, которая принимает те же входные данные и производит те же выходные данные, что и объектная система.

Определения термина из разных документов: имитатор

3.17 инструментальное средство: Компьютерная программа, используемая как средство разработки, тестирования, анализа, производства или модификации других программ или документов на них.

Определения термина из разных документов: инструментальное средство

3.18 инструментальный компьютер: Компьютер, на котором разрабатывают ПО.

Определения термина из разных документов: инструментальный компьютер

3.13 интегральный процесс: Процесс разработки ПО, который остается активным на протяжении жизненного цикла ПО.

Определения термина из разных документов: интегральный процесс

3.14 интеграция аппаратуры и ПО: Процесс объединения ПО с объектным компьютером.

Определения термина из разных документов: интеграция аппаратуры и ПО

3.15 интеграция ПО: Процесс объединения компонентов кода.

Определения термина из разных документов: интеграция ПО

3.16 интерфейс: Взаимосвязь между двумя или более объектами (типа ЭКПО/ЭКПО, ЭКПО/ЭКА, ЭКПО/пользователь или между модулями ПО), которые совместно используют и обеспечивают данные или обмениваются ими.

Определения термина из разных документов: интерфейс

3.19 исходный код: Код, написанный на исходном языке программирования, таком как язык ассемблера и/или язык высокого уровня, в машинно-читаемой форме, пригодной для ввода в ассемблер или компилятор.

Определения термина из разных документов: исходный код

3.20 квалификационное тестирование: Тестирование, выполняемое с целью убедить заказчика, что ПО соответствует заданным требованиям.

Определения термина из разных документов: квалификационное тестирование

3.21 класс эквивалентности: Такое разбиение входной области программы, при котором тестирование для представительного значения класса эквивалентно тестированию для любого другого значения из этого класса.

Определения термина из разных документов: класс эквивалентности

3.22 код: Реализация конкретных данных или конкретной компьютерной программы в символьной форме, такой, например, как исходный код, объектный код или машинный код.

Определения термина из разных документов: код

3.23 коммерчески доступное ПО: Коммерчески доступное программное средство, продаваемое производителем по официальным каталогам. Коммерчески доступное ПО не предназначено для переделки или усовершенствования. ПО, разработанное по специальным контрактам для специализированных приложений, не является коммерчески доступным ПО.

Определения термина из разных документов: коммерчески доступное ПО

3.24 компонент: Замкнутая часть, комбинация частей или элемент, которые выполняют в системе отдельную функцию.

Определения термина из разных документов: компонент

3.25 контракт: Соглашение о разработке ПО, установленное между заказчиком и разработчиком.

Определения термина из разных документов: контракт

3.26 критерии перехода: Минимальные условия, определенные процессом планирования ПО, которые должны быть выполнены для входа в процесс.

Определения термина из разных документов: критерии перехода

3.27 мертвый код: Исполняемый объектный код (или данные), который в результате ошибки проектирования не может быть выполнен (код) или использован (данные) в функциональной конфигурации среды объектного компьютера и не может быть прослежен в системных или программных требованиях. Исключение составляют встроенные идентификаторы.

Определения термина из разных документов: мертвый код

3.28 многоверсионное неидентичное ПО: Множество из двух или более программ, разработанных отдельно по одним и тем же функциональным требованиям. Ошибки одной версии обнаруживают путем сравнения выходных результатов разных программ.

Определения термина из разных документов: многоверсионное неидентичное ПО

3.29 модифицированное покрытие условий/решений: Такое выполнение программы при тестировании, при котором каждая точка входа и выхода программы должна быть вызвана хотя бы один раз; каждое условие в решении программы должно быть выполнено со всеми возможными результатами хотя бы один раз; все результаты каждого решения должны быть выполнены хотя бы один раз, и для каждого условия в решении должно быть показано его независимое влияние на результат решения. Независимость влияния условия на результат решения демонстрируют путем рассмотрения всех возможных комбинаций условий.

Определения термина из разных документов: модифицированное покрытие условий/решений

3.30 непоставляемое программное средство: Программное средство, которое в соответствии с контрактом не требуется поставлять заказчику или другому обозначенному получателю.

Определения термина из разных документов: непоставляемое программное средство

3.31 объектный код: Представление компьютерной программы на низком уровне, обычно не в форме, непосредственно пригодной для объектного компьютера, а в форме, включающей в себя, помимо информации о процессорных командах, информацию о размещении программы.

Определения термина из разных документов: объектный код

3.32 объектный компьютер: Компьютер, на котором эксплуатируют ПО.

Определения термина из разных документов: объектный компьютер

3.33 отказоустойчивость: Свойство системы продолжать правильное выполнение функций при наличии ограниченного числа аппаратных или программных дефектов.

Определения термина из разных документов: отказоустойчивость

3.34 отключенный код: Исполняемый объектный код (или данные), который согласно проекту предназначен для выполнения (код) или использования (данные) только при определенных условиях.

Определения термина из разных документов: отключенный код

3.35 оценка безопасности системы: Систематическая, всесторонняя оценка предлагаемой системы с целью показать, что она удовлетворяет требованиям, предъявленным к обеспечению безопасности.

Определения термина из разных документов: оценка безопасности системы

3.36 ошибка: Неправильность в требованиях, проекте или коде.

Определения термина из разных документов: ошибка

3.37 передача ПО: Последовательность действий, определяющих ответственность за передачу разработанного ПО организацией, имеющей право на эти действия (обычно организацией, которая выполняет разработку ПО), в организацию, осуществляющую поддержку ПО.

Определения термина из разных документов: передача ПО

3.38 перепроектирование: Процесс исследования и изменения существующей системы для преобразования ее в новую форму.

Определения термина из разных документов: перепроектирование

3.39 поддержка ПО: Набор действий, гарантирующий, что установленное для эксплуатационного использования ПО продолжает выполнять все функции в соответствии с предназначением системы. Поддержка ПО включает в себя сопровождение ПО, помощь пользователям и связанные с этим действия.

Определения термина из разных документов: поддержка ПО

3.40 покрытие операторов: Такое выполнение программы при тестировании, при котором каждый оператор в программе должен быть выполнен хотя бы один раз.

Определения термина из разных документов: покрытие операторов

3.41 покрытие решений: Такое выполнение программы при тестировании, при котором каждая точка входа и выхода программы должна быть вызвана хотя бы один раз; каждое условие в решении должно быть выполнено с каждым возможным результатом хотя бы один раз.

Определения термина из разных документов: покрытие решений

3.42 покрытие условий/решений: Такое выполнение программы при тестировании, при котором каждая точка входа и выхода программы должна быть вызвана хотя бы один раз; каждое условие в решении программы должно быть выполнено со всеми возможными результатами хотя бы один раз; все результаты каждого решения должны быть выполнены хотя бы один раз.

Определения термина из разных документов: покрытие условий/решений

3.43 поставляемое программное средство: Программное средство, требуемое по контракту, которое будет поставлено заказчику или другому обозначенному получателю.

Определения термина из разных документов: поставляемое программное средство

3.44 построение: Версия ПО, отвечающая определенному подмножеству требований, которые должны быть обеспечены в конечном ПО.

Определения термина из разных документов: построение

3.45 прерывание: Приостановка задачи, например выполнения компьютерной программы, вызванная событием, внешним для этой задачи. Прерывание позволяет обработать возникшее событие и вернуться к прерванной задаче.

Определения термина из разных документов: прерывание

3.46 программная система: Система, состоящая из ПО и, возможно, компьютерного оборудования для его выполнения.

Определения термина из разных документов: программная система

3.47 программное обеспечение (ПО): Совокупность компьютерных программ и программных документов, необходимых для эксплуатации этих программ.

Определения термина из разных документов: программное обеспечение (ПО)

3.49 программное средство многократного использования: Программное средство, разработанное для конкретного применения, но с возможностью другого применения, или разработанное специально для многократного использования в различных проектах или для многофункционального использования в одном проекте.

Определения термина из разных документов: программное средство многократного использования

3.48 программное средство: ПО и связанные с ним документы, вновь созданные, модифицированные или сгруппированные для удовлетворения требованиям контракта.

Определения термина из разных документов: программное средство: ПО

3.50 производные требования: Дополнительные требования, появившиеся в результате выполнения процессов разработки ПО, которые не являются непосредственно связанными с требованиями верхнего уровня.

Определения термина из разных документов: производные требования

3.51 процедура тестирования: Детальные инструкции для того, чтобы генерировать и выполнить множество тестовых наборов и оценить результаты их выполнения.

Определения термина из разных документов: процедура тестирования

3.52 разработка ПО: Набор действий, результатом выполнения которых являются программные средства. Разработка ПО может включать в себя новую разработку, модификацию, многократное использование, перепроектирование или любое другое действие, требуемое для создания программных средств.

Определения термина из разных документов: разработка ПО

3.53 решение: Логическое выражение, состоящее из условий и, возможно, логических операций. Решение без логических операций - это условие. Если условие включено в решение более одного раза, то каждое его вхождение считают отдельным условием.

Определения термина из разных документов: решение

3.54 связность по данным: Зависимость программного компонента от данных, которые используются не только исключительно в этом компоненте.

Определения термина из разных документов: связность по данным

3.55 связность по управлению: Степень влияния одного программного компонента на выполнение другого программного компонента.

Определения термина из разных документов: связность по управлению

3.56 сертификационное доверие: Принятие сертифицирующей организацией того факта, что процесс или средство удовлетворяет сертификационным требованиям.

Определения термина из разных документов: сертификационное доверие

3.57 система: Набор аппаратных и программных компонентов, созданный для выполнения определенной функции или множества функций.

Определения термина из разных документов: система

3.58 словарь данных: Детальное описание данных, параметров, переменных и констант, используемых в системе.

Определения термина из разных документов: словарь данных

3.59 совместный просмотр: Совещание с участием представителей и заказчика и разработчика, в процессе которого проверяют и обсуждают состояние проекта, программные средства и/или проблемы проекта.

Определения термина из разных документов: совместный просмотр

3.60 соискатель: Человек или организация, претендующая на получение утверждения от сертифицирующей организации.

Определения термина из разных документов: соискатель

3.61 соисполнитель разработки: Организация, которая не является ни главным подрядчиком, ни субподрядчиком данной разработки, но которая принимает участие в разработке системы или проекта.

Определения термина из разных документов: соисполнитель разработки

3.63 среда верификации/тестирования ПО: Интегрированная система, включающая в себя аппаратные средства, ПО, программно-аппаратные средства, процедуры и документы, необходимые для выполнения верификации/тестирования ПО. Элементами данной среды могут являться имитаторы, статические анализаторы, генераторы тестовых данных, анализаторы путей и т.п., а также элементы, используемые в среде разработки ПО.

Определения термина из разных документов: среда верификации/тестирования ПО

3.62 среда разработки ПО: Интегрированная система, включающая в себя аппаратные средства, ПО, программно-аппаратные средства, процедуры и документы, необходимые для разработки ПО.

Определения термина из разных документов: среда разработки ПО

3.64 средства достижения согласования: Специальные методы, используемые соискателем для удовлетворения требованиям, заданным в сертификационном базисе.

Определения термина из разных документов: средства достижения согласования

3.65 статический анализатор: Программное инструментальное средство, которое позволяет получать определенные характеристики программы без ее выполнения.

Определения термина из разных документов: статический анализатор

3.66 тестирование: Процесс выполнения системы или компонента системы в целях проверки того, что она/он удовлетворяет заданным требованиям, и обнаружения ошибок.

Определения термина из разных документов: тестирование

3.67 тестовый набор: Множество тестовых входных данных, условий выполнения и результатов, разработанных для определенных целей, например для выполнения конкретного пути в программе или для верификации согласованности с заданными требованиями.

Определения термина из разных документов: тестовый набор

3.68 трассируемость: Доказательство связи между элементами, например между входной и выходной информацией процесса, между требованием и его реализацией.

Определения термина из разных документов: трассируемость

3.69 требование: Характеристика того, чем система или ЭКПО должны обладать, чтобы быть приемлемыми для заказчика.

Определения термина из разных документов: требование

3.70 требования верхнего уровня: Требования к ПО, разработанные на основании анализа системных требований и требований, связанных с безопасностью системы.

Определения термина из разных документов: требования верхнего уровня

3.71 требования к ПО: Описание того, что должно производить ПО, с заданием входных условий и ограничений. Требования к ПО включают в себя как требования верхнего уровня, так и требования нижнего уровня.

Определения термина из разных документов: требования к ПО

3.72 требования нижнего уровня: Требования к ПО, разработанные на основании требований верхнего уровня, производных требований и ограничений проекта, по которым исходный код может быть реализован непосредственно, без какой-либо дополнительной информации.

Определения термина из разных документов: требования нижнего уровня

3.73 управление конфигурацией: Процесс идентификации и обеспечения целостности элементов конфигурации системы.

Определения термина из разных документов: управление конфигурацией

3.74 условие: Логическое выражение, не содержащее логических операций.

Определения термина из разных документов: условие

3.75 устойчивость к ошибкам входных данных: Свойство, благодаря которому ПО может продолжать корректно выполняться, несмотря на ошибки входных данных.

Определения термина из разных документов: устойчивость к ошибкам входных данных

3.76 файл разработки ПО: Сохраняемая совокупность данных, необходимых для разработки конкретного ПО. Содержит обычно (либо непосредственно, либо путем ссылок) сведения, связанные с анализом требований, проектированием и реализацией; информацию о тестировании, проводимом разработчиком, а также план и информацию о состоянии разработки.

Определения термина из разных документов: файл разработки ПО

3.77 элемент конфигурации аппаратуры (ЭКА): Совокупность компонентов аппаратных средств, которая обеспечивает конечную функцию использования и предназначается заказчиком для независимого от других элементов управления конфигурацией.

Определения термина из разных документов: элемент конфигурации аппаратуры (ЭКА)

3.78 элемент конфигурации ПО (ЭКПО): Совокупность компонентов ПО, которая обеспечивает конечную функцию использования и предназначается заказчиком для независимого от других элементов управления конфигурацией.

Определения термина из разных документов: элемент конфигурации ПО (ЭКПО)

3.79 эмулятор: Устройство, компьютерная программа или система, которая принимает те же входные данные и производит те же выходные данные, что и данная система, и использующая тот же объектный код. Предназначен для выполнения на одном компьютере программ, написанных для другого компьютера.

Определения термина из разных документов: эмулятор